41. Hardware design verification
پدیدآورنده : / William K. Lam
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Integrated circuits- Verification
رده :
TK7874
.
58
.
L36
2005
42. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
L36
43. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
موضوع : ، Integrated circuits-- Verification
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Hardware design verification : simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C., 2691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
L248H2
45. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
46. Hardware verification with C++ :
پدیدآورنده : Mike Mintz, Robert Ekendahl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Integrated circuits-- Verification.
47. Hardware verification with SystemVerilog
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object
48. Integrated Circuit Authentication
پدیدآورنده : \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدار‌های مجتمع -- راستی‌آزمایی
رده :
E-Book
,
49. Integrated circuit authentication
پدیدآورنده : / Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits, Verification,Hardware Trojans (Computers),Engineering,Circuits and Systems,Processor Architectures,Electronic Circuits and Devices
رده :
E-BOOK
50. Integrated circuit authentication :hardware trojans and counterfeit detection
پدیدآورنده : Tehranipoor, Mohammad, Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Verification ، Integrated circuits,، Hardware Trojans )Computers(,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronic Circuits and Devices
رده :
TK7874
.
58
51. Integrated circuit test engineering: modern techniques
پدیدآورنده : Grout, Ian
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
G76
52. Introduction to formal hardware verification
پدیدآورنده : Kropf, Thomas
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification
رده :
TK
7874
.
75
.
K76
1999
53. Logic synthesis and verification algorithms
پدیدآورنده : Hachtel, Gary D.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
رده :
TK
7874
.
75
.
H33
1996
54. Metric-driven design verification :
پدیدآورنده : Hamilton B. Carter, Shankar Hemmady.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Integrated circuits-- Verification.,Ingénierie.,Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
58
.
C37
2007eb
55. Metric-driven design verification
پدیدآورنده : / Hamilton B. Carter, Shankar Hemmady
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Integrated circuits, Verification
رده :
TK7874
.
58
.
C37
2007
56. Models in hardware testing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
57. Practical design verification
پدیدآورنده : edited by Dhiraj K. Pradhan, Ian G. Harris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
P72
58. Practical design verification /
پدیدآورنده : edited by Dhiraj K. Pradhan, Ian G. Harris.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
58
.
P73
2009eb
59. Principles of functional verification /
پدیدآورنده : Andreas Meyer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7885
.
7
.
M49
2003eb
60. Principles of functional verification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits ; Verification. ;
